Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
491	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system
492	Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Lambda calculus Combinatory logic Logic in computer science Computability theory Functions and mappings Formal methods Monad Derivative Trace
493	Focusing and Polarization in Intuitionistic Logic Chuck Liang1 and Dale Miller2 1 Department of Computer Science, Hofstra University, Hempstead, NYchuck.liang at hofstra.edu Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-06-15 07:30:42
494	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
495	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Logic in computer science Theoretical computer science Refinement Predicate transformer semantics Postcondition Program transformation Finite-state machine Invariant Formal verification Aspect-oriented software development Precondition
496	PDF Document Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2014-04-10 03:07:04 Logic in computer science Game theory Models of computation Formal methods Denotational semantics Game semantics Semantics Strategy Equivalence of categories Sheaf
497	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
498	PDF Document Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-07-17 11:43:19 Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation
499	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:11 Theoretical computer science Mathematics Software engineering Logic in computer science Models of computation Programming language semantics Lambda calculus Operational semantics Substitution Expression Variable Monad
500	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Logic in computer science Lambda calculus Theoretical computer science Computability theory Combinatory logic A New Kind of Science Programming language Computer programming

UPDATE